finite invariant set

有限不变集